William S. McCune: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Automated theorem proving and logic programming: a natural symbiosis

Larry Wos, William McCune

Journal:

The Journal of Logic Programming

Year:

1991

Language:

english

File:

PDF, 4.19 MB

english, 1991

2

Yttrium Segregation and YAG Precipitation at Surfaces of Yttrium- Doped α-A12O3

Robert C. McCune, William T. Donlon, Roland C. Ku

Journal:

Journal of the American Ceramic Society

Year:

1986

Language:

english

File:

PDF, 463 KB

english, 1986

3

Herpes zoster in immunocompromised patients: Incidence, timing, and risk factors

Peter K. Wung, Janet T. Holbrook, Gary S. Hoffman, Andrea K. Tibbs, Ulrich Specks, Y.-I. Min, Peter A. Merkel, Robert Spiera, John C. Davis, E. William St. Clair, Joseph McCune, Steven R. Ytterberg, N

Journal:

The American Journal of Medicine

Year:

2005

Language:

english

File:

PDF, 158 KB

english, 2005

4

Endoscopic Cannulation of the Ampulla of Vater: A Preliminary Report

McCune, William S., Shorb, Paul E., Moscovitz, Herbert

Journal:

Gastrointestinal Endoscopy

Year:

1988

Language:

english

File:

PDF, 2.90 MB

english, 1988

5

[Lecture Notes in Computer Science] Automated Deduction—CADE-14 Volume 1249 (14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings) || Hybrid Agile Software Development for Smart Farming Application

McCune, William

Year:

1997

File:

PDF, 309 KB

1997

6

[Lecture Notes in Computer Science] Automated Deduction—CADE-14 Volume 1249 (14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings) || Hybrid Agile Software Development for Smart Farming Application

McCune, William

Year:

1997

Language:

english

File:

PDF, 309 KB

english, 1997

7

A serum proteomic approach to gauging the state of remission in Wegener's granulomatosis

John H. Stone, Vinodh N. Rajapakse, Gary S. Hoffman, Ulrich Specks, Peter A. Merkel, Robert F. Spiera, John C. Davis, E. William St.Clair, Joseph McCune, Sally Ross, Ben A. Hitt, Timothy D. Veenstra,

Journal:

Arthritis & Rheumatism

Year:

2005

Language:

english

File:

PDF, 101 KB

english, 2005

8

Damage caused by Wegener's granulomatosis and its treatment: Prospective data from the Wegener's Granulomatosis Etanercept Trial (WGET)

Philip Seo, Yuan-I. Min, Janet T. Holbrook, Gary S. Hoffman, Peter A. Merkel, Robert Spiera, John C. Davis, Steven R. Ytterberg, E. William St. Clair, W. Joseph McCune, Ulrich Specks, Nancy B. Allen,

Journal:

Arthritis & Rheumatism

Year:

2005

Language:

english

File:

PDF, 136 KB

english, 2005

9

Effects of glucocorticoids on weight change during the treatment of Wegener's granulomatosis

Peter K. Wung, Troy Anderson, Kevin R. Fontaine, Gary S. Hoffman, Ulrich Specks, Peter A. Merkel, Robert Spiera, John C. Davis, E. William St.Clair, W. Joseph McCune, John H. Stone

Journal:

Arthritis Care & Research

Year:

2008

Language:

english

File:

PDF, 281 KB

english, 2008

10

MRI in osteoarthritis of the hip: Gradations of severity

King C. Li, Jay Higgs, Alex M. Aisen, Kenneth A. Buckwalter, William Martel, W.Joseph McCune

Journal:

Magnetic Resonance Imaging

Year:

1988

Language:

english

File:

PDF, 4.18 MB

english, 1988

11

Automated reasoning about elementary point-set topology

Cynthia A. Wick, William W. McCune

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 704 KB

english, 1989

12

Set theory in first-order logic: Clauses for Gödel's axioms

Robert Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark Stickel, Lawrence Wos

Journal:

Journal of Automated Reasoning

Year:

1986

Language:

english

File:

PDF, 1.94 MB

english, 1986

13

Cow's-milk-based Infant Formula: Heterogeneity of Bovine Serum Albumin Content

PATRICIA ZELINSKI MARINCIC, RONALD WILLIAM McCUNE, DELOY G HENDRICKS

Journal:

Journal of the American Dietetic Association

Year:

1999

File:

PDF, 493 KB

1999

14

Reduced Insular Glutamine and N-Acetylaspartate in Systemic Lupus Erythematosus

Cagnoli, Patricia, Harris, Richard E., Frechtling, Dan, Berkis, George, Gracley, Richard H., Graft, Courtney C., Lowe, Suzan E., Chenevert, Thomas L., McCune, William J., Gebarski, Stephen, Sundgren,

Journal:

Academic Radiology

Year:

2013

Language:

english

File:

PDF, 1024 KB

english, 2013

15

Computer Solutions of Problems in Inverse Semigroups

Araújo, João, McCune, William

Journal:

Communications in Algebra

Year:

2010

Language:

english

File:

PDF, 162 KB

english, 2010

16

An Experimental Technique for Obtaining Permeability-Porosity Relationships in Acidized Porous Media

McCune, Conwell C., Fogler, H. Scott, Kline, William E.

Journal:

Industrial & Engineering Chemistry Fundamentals

Year:

1979

Language:

english

File:

PDF, 409 KB

english, 1979

17

International Problems and Relations || Discussion: International Social Welfare Problems

Samuel McCune Lindsay, Dame Katharine Furse, Mrs. H. H. Moorhead, William Martin, William F. Snow and Julia C. Lathrop

Journal:

Proceedings of the Academy of Political Science in the City of New York

Year:

1926

Language:

english

File:

PDF, 303 KB

english, 1926

18

Management of Surgical Complications

MCCUNE, WILLIAM S.

Journal:

Annals of Surgery

Year:

1975

File:

PDF, 132 KB

1975

19

Safety and efficacy of belimumab plus standard therapy for up to 13 years in patients with systemic lupus erythematosus

Wallace, Daniel J, Ginzler, Ellen M, Merrill, Joan T, Furie, Richard A, Stohl, William, Chatham, W. Winn, Weinstein, Arthur, McKay, James D, McCune, W Joseph, Petri, Michelle, Fettiplace, James, Roth,

Journal:

Arthritis & Rheumatology

Year:

2019

Language:

english

File:

PDF, 1.56 MB

english, 2019

20

[Lecture Notes in Computer Science] Automated Deduction—CADE-14 Volume 1249 (14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings) || An Open-Source Software Metric Tool for Defect Prediction, Its Case Study and Lessons We Learned

McCune, William

Year:

1997

Language:

english

File:

PDF, 345 KB

english, 1997

21

Lobar holoprosencephaly in an infant born to a mother with classic phenylketonuria

Kory Keller, Helen McCune, Charles Williams, Maximilian Muenke

Journal:

American Journal of Medical Genetics Part A

Year:

2000

Language:

english

File:

PDF, 100 KB

english, 2000

22

Ovarian reserve diminished by oral cyclophosphamide therapy for granulomatosis with polyangiitis (Wegener's)

Megan E. B. Clowse, Susannah C. Copland, Tsung-Cheng Hsieh, Shein-Chung Chow, Gary S. Hoffman, Peter A. Merkel, Robert F. Spiera, John C. Davis Jr., W. Joseph McCune, Steven R. Ytterberg, E. William S

Journal:

Arthritis Care & Research

Year:

2011

Language:

english

File:

PDF, 108 KB

english, 2011

23

Immediate hypersensitivity reaction to cyclophosphamide

David J. Knysak, James A. Mclean, William R. Solomon, David A. Fox, W. Joseph Mccune

Journal:

Arthritis & Rheumatism

Year:

1994

Language:

english

File:

PDF, 372 KB

english, 1994

24

A double-blind, placebo-controlled study of anti-CD5 immunoconjugate in patients with rheumatoid arthritis

Nancy J. Olsen, Raye H. Brooks, John J. Cush, Peter E. Lipsky, E. William St. Clair, Eric L. Matteson, Kenneth N. Gold, Grant W. Cannon, Christopher G. Jackson, W. Joseph McCune, Betty Nelson, Todd Lo

Journal:

Arthritis & Rheumatism

Year:

1996

Language:

english

File:

PDF, 654 KB

english, 1996

25

Degos' disease mimicking vasculitis

Sosa V. Kocheril, Mila Blaivas, Brent E. Appleton, William J. McCune, Robert W. Ike

Journal:

Arthritis Care & Research

Year:

2004

Language:

english

File:

PDF, 236 KB

english, 2004

26

Association of plasma B lymphocyte stimulator levels and disease activity in systemic lupus erythematosus

Michelle Petri, William Stohl, Winn Chatham, W. Joseph McCune, Marc Chevrier, Jeff Ryel, Virginia Recta, John Zhong, William Freimuth

Journal:

Arthritis & Rheumatism

Year:

2008

Language:

english

File:

PDF, 421 KB

english, 2008

27

Assessment of the item selection and weighting in the Birmingham Vasculitis Activity Score for Wegener's Granulomatosis

Alfred D. Mahr, Tuhina Neogi, Michael P. Lavalley, John C. Davis, Gary S. Hoffman, W. Joseph Mccune, Ulrich Specks, Robert F. Spiera, E. William St.Clair, John H. Stone, Peter A. Merkel

Journal:

Arthritis Care & Research

Year:

2008

Language:

english

File:

PDF, 117 KB

english, 2008

28

A phase II, randomized, double-blind, placebo-controlled, dose-ranging study of belimumab in patients with active systemic lupus erythematosus

Daniel J. Wallace, William Stohl, Richard A. Furie, Jeffrey R. Lisse, James D. McKay, Joan T. Merrill, Michelle A. Petri, Ellen M. Ginzler, W. Winn Chatham, W. Joseph McCune, Vivian Fernandez, Marc R.

Journal:

Arthritis Care & Research

Year:

2009

Language:

english

File:

PDF, 372 KB

english, 2009

29

The absence and the presence of fixed point combinators

William McCune, Larry Wos

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 366 KB

english, 1991

30

Rapid quantitation of cyclophosphamide metabolites in plasma by liquid chromatography–mass spectrometry

Thomas F. Kalhorn, William N. Howald, Scott Cole, Brian Phillips, Joanne Wang, John T. Slattery, Jeannine S. McCune

Journal:

Journal of Chromatography B

Year:

2006

Language:

english

File:

PDF, 262 KB

english, 2006

31

Automatic proofs and counterexamples for some ortholattice identities

Journal:

Information Processing Letters

Year:

1998

Language:

english

File:

PDF, 462 KB

english, 1998

32

Improved chiral stationary phase for the separation of the enantiomers of chiral acids as their anilide derivatives

William H. Pirkle, John E. McCune

Journal:

Journal of Chromatography A

Year:

1989

Language:

english

File:

PDF, 528 KB

english, 1989

33

Discussion of a controversial chiral recognition model

William H. Pirkle, John E. McCune

Journal:

Journal of Chromatography A

Year:

1989

Language:

english

File:

PDF, 1000 KB

english, 1989

34

Experiments with semantic paramodulation

William McCune, Lawrence Henschen

Journal:

Journal of Automated Reasoning

Year:

1985

Language:

english

File:

PDF, 1.42 MB

english, 1985

35

Experiments with discrimination-tree indexing and path indexing for term retrieval

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 1.07 MB

english, 1992

36

Automated discovery of new axiomatizations of the left group and right group calculi

William W. Mccune

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 1.27 MB

english, 1992

37

A case study in automated theorem proving: Finding sages in combinatory logic

William McCune, Larry Wos

Journal:

Journal of Automated Reasoning

Year:

1987

Language:

english

File:

PDF, 846 KB

english, 1987

38

Community mental health centers and insurance reimbursements

Denis Nissim-Sabat, William H. Farr, Kathleen McCune, Melanie Stith

Journal:

Community Mental Health Journal

Year:

1986

Language:

english

File:

PDF, 316 KB

english, 1986

39

Single axioms for groups and Abelian groups with various operations

William W. McCune

Journal:

Journal of Automated Reasoning

Year:

1993

Language:

english

File:

PDF, 753 KB

english, 1993

40

Uniform strategies: The CADE-11 theorem proving contest

Ewing L. Lusk, William W. McCune

Journal:

Journal of Automated Reasoning

Year:

1993

Language:

english

File:

PDF, 705 KB

english, 1993

41

The application of automated reasoning to questions in mathematics and logic

Larry Wos, William McCune

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 3.00 MB

english, 1992

42

Abstracts Papers presented at the Eleventh Annual Session of the Society of Gastrointestinal Radiologists, October 1, 1981, Boca Raton, Florida

Seth N. Glick, Steven K. Teplick, Dean D. T. Maglinte, Katharine L. Krol, Lloyd D. Caudill, David L. Brown, William Michael McCune, R. E. Koehler, D. M. Balfe, M. Setzen, P. J. Weyman, R. L. Baron, J.

Journal:

Abdominal Imaging

Year:

1982

Language:

english

File:

PDF, 854 KB

english, 1982

43

Yet another single law for lattices

William McCune, R. Padmanabhan, Robert Veroff

Journal:

Algebra Universalis

Year:

2003

Language:

english

File:

PDF, 130 KB

english, 2003

44

Separation of the enantiomers of N-protected α-amino acids as anilide and 3,5-dimethylanilide derivatives

William H. Pirkle, John E. McCune

Journal:

Journal of Chromatography A

Year:

1989

Language:

english

File:

PDF, 311 KB

english, 1989

45

An improved chiral stationary phase for the facile separation of enantiomers

William H. Pirkle, John E. McCune

Journal:

Journal of Chromatography A

Year:

1988

Language:

english

File:

PDF, 788 KB

english, 1988

46

Otter - The CADE-13 Competition Incarnations

William McCune, Larry Wos

Journal:

Journal of Automated Reasoning

Year:

1997

Language:

english

File:

PDF, 85 KB

english, 1997

47

Solution of the Robbins Problem

Journal:

Journal of Automated Reasoning

Year:

1997

Language:

english

File:

PDF, 148 KB

english, 1997

48

Short Single Axioms for Boolean Algebra

William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 103 KB

english, 2002

49

[Lecture Notes in Computer Science] Automated Deduction—CADE-14 Volume 1249 || Evolving combinators

McCune, William

Year:

1997

Language:

english

File:

PDF, 1011 KB

english, 1997

50

Consumption and decomposition of lichen litter in a temperate coniferous rainforest

Bruce McCune, William J. Daly

Journal:

The Lichenologist

Year:

1994

File:

PDF, 158 KB

1994